2

Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

Year:
1974
Language:
english
File:
PDF, 1.49 MB
english, 1974
3

Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets

Year:
1972
Language:
english
File:
PDF, 1.06 MB
english, 1972
6

Experiments with some algorithms that find central solutions for pattern classification

Year:
1979
Language:
english
File:
PDF, 3.39 MB
english, 1979
7

Experiments With Some Programs That Search Game Trees

Year:
1969
Language:
english
File:
PDF, 1.09 MB
english, 1969
10

Heterogeneous discrete expenditure for diminishing returns

Year:
1986
Language:
english
File:
PDF, 1.47 MB
english, 1986
15

Finding resolution proofs and using duplicate goals in and/or trees

Year:
1971
Language:
english
File:
PDF, 1.35 MB
english, 1971
21

Kinetics of the reactions of SiH3 with O2 and N2O

Year:
1988
Language:
english
File:
PDF, 421 KB
english, 1988
22

Finding a good figure that approximately passes through given points

Year:
1980
Language:
english
File:
PDF, 674 KB
english, 1980
24

Robustness of cooperation

Year:
1996
File:
PDF, 584 KB
1996
25

A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus

Year:
1963
Language:
english
File:
PDF, 723 KB
english, 1963
26

THE PROSPECT OF AN UNDER WA TER NA VAL ROBOT

Year:
1980
Language:
english
File:
PDF, 870 KB
english, 1980
32

Notes. Improved Yields in the Preparation of Diacetyl Peroxide

Year:
1959
Language:
english
File:
PDF, 148 KB
english, 1959
34

A constant-level water bath for the student laboratory

Year:
1956
Language:
english
File:
PDF, 855 KB
english, 1956
35

Correction- Improved Yields in the Preparation of Diacetyl Peroxide.

Year:
1961
Language:
english
File:
PDF, 141 KB
english, 1961
42

Experiments with the M & N tree-searching program

Year:
1970
Language:
english
File:
PDF, 6.39 MB
english, 1970
43

An expert system for a resource allocation problem

Year:
1985
Language:
english
File:
PDF, 6.28 MB
english, 1985
47

Experiments With a Multipurpose, Theorem-Proving Heuristic Program

Year:
1968
Language:
english
File:
PDF, 1.12 MB
english, 1968
48

Interpolation Theorems for Resolution in Lower Predicate Calculus

Year:
1970
Language:
english
File:
PDF, 573 KB
english, 1970